Test Scenario Generation from a Structured Requirements Specification
نویسندگان
چکیده
A brief overview of the requirements engineering, its history, and state of practice are given. A semi-formal method to structure the behavioral requirements for realtime embedded systems is presented. This method is based on a set of forms that contain both informal textbased descriptions and formally defined language constructs. After documentation of requirements into these forms, an algorithm to automatically generate event scenarios is presented. This algorithm extracts the needed information from the requirements forms and produces a set of scenarios that can be used to test transaction oriented systems. A design example is presented that is used to illustrate the process of converting text based requirements onto the structured requirements form and to illustrate the operation of the scenario generation algorithm .
منابع مشابه
Towards Automatic Generation of Formal Scenarios Specifications from Real-Time Reactive Systems Requirements Written in NL
This paper describes a new method for automatic generation of formal scenario-based specifications from requirements written in structured natural language (NL). The goal is to allow for completion of the formalization of the real-time reactive systems development process from users’ requirements. We believe this method would guarantee the correctness and the completeness of the scenarios gener...
متن کاملScenario-based and State Machine-based Testing: An Evaluation of Automated Approaches
Software testing is regarded by practitioners as the central activity used for ensuring that a system behaves as expected. It consists of the following activities: test generation, execution, evaluation, coverage analysis and regression testing. Testing is often a neglected activity that has the potential and the need for benefiting from automation. In fact, testing solutions currently availabl...
متن کاملNamed entity recognition for automated test case generation
Testing is the process of evaluating a software or hardware against its requirement specification. It helps to verify and grade a given system. Recent emphasis on Test Driven Development (TDD) has increased the need for testing from the early stages of software development. System test cases can be obtained from a number of user specifications such as functional requirements; UML diagrams and u...
متن کاملDetermining Socio-Technical Systems Requirements: Experiences with Generating and Walking through Scenarios
Scenarios are effective for discovering requirements, but we still do not understand what types of scenario and which walkthrough techniques are most effective. This experience paper reports the application of one scenario approach – CREWS-SAVRE – to discovering requirements for naval and air traffic management systems with BAE SYSTEMS and Eurocontrol respectively. Results from these experience...
متن کاملAutomating Scenario-Driven Structured Requirements Engineering
Scenario analysis has been widely perceived to be able to play two important roles in requirement engineering. Firstly, it is a vehicle of separating concerns in the elicitation of users' requirements. Secondly, it is a means of validating specified requirements. However, there are a number of key activities in scenario analysis that demand automated tool support to make the method practically ...
متن کامل